Complexity, Algorithms, Programs, Systems: The Shifting Focus

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Hybrid Probabilistic Programs: Algorithms and Complexity

Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the de­ pendencies between events being described in the program. In this paper, we classify HPPs into three classes called H P P1, H P P2 and H P Pr, r 2: 3. For these classes, we pro­ vide three types of results for HPPs. First, we develop algorithms to compute the set of al...

متن کامل

Shifting the Focus From What to Why

After 4 decades of research on infant behavior and development, the time has come to shift our focus from What infants do to Why they do it when they do-to move beyond the single-minded search for mechanism and to consider the larger question of funcrion. Infants ate not merely incomplete adults who simply get better with age, but they are different organisms altogether, perfectly adapted at ev...

متن کامل

Shifting the Focus in Mobile Maps

Mobile maps show the current position of a map reader in their center. We will question this convention, which is in our opinion a relict from paper maps. We observe that, in contrast to paper maps, mobile maps have a narrower purpose and mobile devices have a different affordance and handling. This observation encourages thinking of a map design that allows an embodied experience of map readin...

متن کامل

The general theory of phase shifting algorithms.

We have been reporting several new techniques of analysis and synthesis applied to Phase Shifting Interferometry (PSI). These works are based upon the Frequency Transfer Function (FTF) and how this new tool of analysis and synthesis in PSI may be applied to obtain very general results, among them; rotational invariant spectrum; complex PSI algorithms synthesis based on simpler first and second ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Symbolic Computation

سال: 1994

ISSN: 0747-7171

DOI: 10.1006/jsco.1994.1020